It's So Elegant! Prove Gcd=A*B With The Gcd Is A Linear Combination Theorem